/** Add css rules here for your application. */

h3 {
	padding: 5px 10px;
	font-weight: bold;
	border-left: 5px solid #777777;
}

hr {
  margin: 15px 0px;
}

.sendButton {
  display: block;
  font-size: 16pt;
}

/** Most GWT widgets already have a style name defined */
.gwt-DialogBox {
  width: 400px;
}

.dialogVPanel {
  margin: 5px;
}

.serverResponseLabelError {
  color: red;
}

/** Set ids using widget.getElement().setId("idOfElement") */
#closeButton {
  margin: 15px 6px 6px;
}

.gwt-ExportPanel {
	padding: 20px
}

.threadTitleLabel {
	color: red;
	font-size: 14pt;
	font-weight: bold;
}

.viewerPanel {
	width: 700px;
}

.postPanelBase {
	margin: 4px 0px 0px 4px;
	padding: 5px 5px 5px 5px;
	box-shadow: 1px 1px 3px rgba(0, 0, 0, 25);
	border-radius: 2px;
}

.postPanelUnSelected {
}

.postPanelSelected {
	background: #f0f8ff;
	border: solid 1px gray;
}

.postPanelMouseOver {
	cursor: pointer;
	cursor: hand;
}

.decorationPanel {
	margin: 5px;
	padding: 5px;
	border: dashed 1px gray;
	background: white;
	cursor: default;
}

.color0 {
}

.color1 {
	color: #DB7093;
}

.color2 {
	color: #800080;
}

.color3 {
	color: #800000;
}

.color4 {
	color: #FFA500;
}

.color5 {
	color: #008000;
}

.color6 {
	color: #0000FF;
}

.color7 {
	color: #FF0000;
}

.toolPanel {
	position: fixed;
	margin: 5px;
	padding: 10px;
	background: #f0f8ff;
	box-shadow: 1px 1px 3px rgba(0, 0, 0, 25);
	border-radius: 2px;
}


.toInline {
	display: inline;
}